منابع مشابه
ProofML - eine Annotationssprache für natürliche Beweise
Zusammenfassung: Ein Korpus natürlichsprachlich formulierter mathematischer Beweise soll auf das Verhältnis von Ausdruck und argumentativ-semantischer Struktur hin untersucht werden. Zu diesem Zweck werden die relevanten Strukturen mithilfe einer Annotationssprache ProofML in den Beweisen des Korpus annotiert. Die ProofML-Annotation soll dabei einerseits empirisch-analytischen Zwecken dienen, g...
متن کاملSoda battles
infancy and causes severe vision loss, especially at night. An estimated 2,000 Americans have the form of the disease they targeted, Bennett said. But other reports were not satisfied with a mere 2,000 potential beneficiaries. New hope is offered to “millions affected by eye diseases” said the Independent. This was “hundreds of thousands” in the Los Angeles Times. But the LA Times also highligh...
متن کاملLarge-sized soda ban as an alternative to soda tax.
This Note examines New York City's Sugary Drinks Portion Cap Rule (Soda Ban), which was originally set to become effective March 12, 2013. The New York County Supreme Court's decision in New York Statewide Coalition of Hispanic Chambers of Commerce v. New York City Department of Health and Mental Hygiene suspended the Soda Ban on March 11, 2013. The First Department of the Appellate Division of...
متن کاملVideobasierte Handlungserkennung für die natürliche Mensch-Maschine-Interaktion
The question addressed in this thesis is how to make use of gestures in a multimodal human-machine-interaction. To interact with current computer systems the human still has to adopt himself to the interfaces of the system. The underlying vision of this work is to enable computer system to interpret the typical human forms of interaction. Based on this question and vision the goal of this work ...
متن کاملEmbodying and Improving SODA
We implemented variations on the Self-Organizing Distinctive State Abstraction model for robot state-discretization and task-learning in a Khepera robot. We conclude that hill-climbing as implementd in [5] is detrimental in embodied robots. Because the ultimate goal of developmental systems is intelligent, embodied robots, we believe that implementation in physical robots is an important test o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für Angewandte Chemie
سال: 1893
ISSN: 0044-8249,1521-3757
DOI: 10.1002/ange.18930060103